Adjoint functors - PDFSEARCH.IO - Document Search Engine

Adjoint functors
Results: 460

#	Item
271	The Typeclassopedia by Brent Yorgey [removed] The standard Haskell libraries feature a number of type classes with algebraic or category-theoretic underpinnings. Becoming a fluent Haskell hacker requires in Add to Reading List Source URL: www.haskell.org Language: English - Date: 2011-08-16 16:00:20 Computing Data types Adjoint functors Type theory Monad Map Option type Functor Natural transformation Declarative programming Software engineering Functional programming
272	Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. Oliveira Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2008-03-11 08:14:50 Category theory Monad Functor Map Natural transformation Monoid List Applicative programming language Strong monad Adjoint functors Abstract algebra Software engineering
273	The unfolding of general Petri nets Jonathan Hayman Glynn Winskel Computer Laboratory, University of Cambridge, England Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-07-22 10:38:14 Mathematics Petri net Adjoint functors Pullback Morphism Functor Sheaf Category Subcategory Abstract algebra Category theory Algebra
274	On the expressivity of symmetry in event structures∗ Sam Staton and Glynn Winskel Computer Laboratory, University of Cambridge Abstract—This paper establishes a bridge between presheaf models for concurrency and the Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-05-05 11:49:01 Sheaf theory Functors Adjoint functors Algebraic topology Sheaf Equivalence relation Topos Equivalence of categories Grothendieck topology Category theory Abstract algebra Mathematics
275	CTCS 2004 Preliminary Version Limit Preservation from Naturality Mario Caccamo 1 The Wellcome Trust Sanger Institute Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-08-20 07:06:00 Limit Adjoint functors Diagram Universal property Natural transformation Coproduct Product Cone Initial and terminal objects Category theory Abstract algebra Functors
276	A Natural Basis for Interoperability Nick Rossiter1 , Michael Heather2 , and David Nelson3 1 Computing, Engineering and Information Sciences, Northumbria University, NE2 1XE, UK, [removed] Add to Reading List Source URL: computing.unn.ac.uk Language: English - Date: 2006-03-30 09:45:32 Natural transformation Limit Grothendieck topology Category of topological spaces Diagram Category theory Functors Adjoint functors
277	Advanced Facet Theory for Facet Engineers -- Kent D. Palmer This comes out of the theory of Quantum Mechanics, which even though it is hard to understand, it is an extremely highly confirmed Add to Reading List Source URL: emergentdesign.net Language: English - Date: 2014-02-16 18:19:39 Ontology Functional programming Monad Qualia Gottfried Leibniz Reality Quantum mechanics Introduction to quantum mechanics Philosophy Adjoint functors Metaphysics
278	The marriage of effects and monads PHILIP WADLER Avaya Labs and PETER THIEMANN Universit¨at Freiburg, Germany Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:14 Symbol Software engineering Computing Programming language semantics Electronic design Denotational semantics Adjoint functors Functional programming Monad
279	Emergent Meta-systems and Nondual Science -- Kent Palmer Emergent Meta-systems and Nondual Science Dynamics of the Special Systems and the Add to Reading List Source URL: nondual.net Language: English - Date: 2014-02-16 18:46:07 Systems theory Cybernetics Adjoint functors Hindu philosophy Monism Nondualism Meta-system Emergence Triality Science Knowledge Buddhism
280	Simon Willerton A DIAGRAMMATIC APPROACH TO HOPF MONADS Simon Willerton* Department of Pure Mathematics University of Sheﬃeld Add to Reading List Source URL: ajse.kfupm.edu.sa Language: English - Date: 2011-04-18 08:15:48 Monoidal functor Monoidal monad Monad Monoidal natural transformation Adjoint functors Monoid Functor Natural transformation Braided monoidal category Category theory Monoidal categories Algebra

UPDATE